[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 20 19 19 19 19 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76 0.00

time (sec)

N/A 0.007 0.002 0.000 0.440 0.886 0.062 0.542 0.032 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 20 19 19 19 19 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76 0.00

time (sec)

N/A 0.007 0.002 0.000 0.436 0.977 0.062 0.454 0.032 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 20 19 19 19 19 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76 0.00

time (sec)

N/A 0.004 0.000 0.002 0.429 0.837 0.061 0.536 0.032 0.001

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 20 19 19 19 19 19 21

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76 0.84

time (sec)

N/A 0.006 0.001 0.001 0.445 0.531 0.064 0.361 0.031 0.025

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 17 16 16 15 16 16 20

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80 1.00

time (sec)

N/A 0.006 0.001 0.001 0.426 0.728 0.061 0.490 0.025 0.016

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 44 46 48 46 45 0

N.S.

1 1.00 1.00 0.83 0.81 0.85 0.89 0.85 0.83 0.00

time (sec)

N/A 0.054 0.008 0.000 0.427 0.902 0.075 0.576 0.034 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 44 46 49 46 45 0

N.S.

1 1.00 1.00 0.83 0.81 0.85 0.91 0.85 0.83 0.00

time (sec)

N/A 0.029 0.007 0.001 0.436 0.774 0.075 0.484 0.024 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 48 46 48 46 45 0

N.S.

1 1.00 1.00 0.83 0.89 0.85 0.89 0.85 0.83 0.00

time (sec)

N/A 0.027 0.006 0.000 0.447 0.877 0.072 0.396 0.022 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 44 44 49 46 45 58

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.91 0.85 0.83 1.07

time (sec)

N/A 0.032 0.007 0.002 0.428 0.757 0.076 0.493 0.025 0.040

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 44 44 48 46 45 58

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.89 0.85 0.83 1.07

time (sec)

N/A 0.032 0.009 0.002 0.425 0.957 0.078 0.482 0.024 0.036

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 89 84 132 0 297 381 86 112 0

N.S.

1 1.00 0.94 1.48 0.00 3.34 4.28 0.97 1.26 0.00

time (sec)

N/A 0.094 0.109 0.005 0.000 0.862 0.841 0.453 0.141 0.001

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 73 101 0 235 306 67 172 0

N.S.

1 1.00 1.04 1.44 0.00 3.36 4.37 0.96 2.46 0.00

time (sec)

N/A 0.059 0.063 0.003 0.000 0.805 0.623 0.548 2.033 0.001

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 57 56 0 185 216 55 112 0

N.S.

1 1.00 1.02 1.00 0.00 3.30 3.86 0.98 2.00 0.00

time (sec)

N/A 0.040 0.030 0.003 0.000 0.763 0.326 0.421 0.133 0.001

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

34 34 38 35 0 120 124 34 46 0

N.S.

1 1.00 1.12 1.03 0.00 3.53 3.65 1.00 1.35 0.00

time (sec)

N/A 0.026 0.006 0.001 0.000 0.956 0.222 0.497 0.035 0.001

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 61 62 0 211 564 62 213 0

N.S.

1 1.00 0.98 1.00 0.00 3.40 9.10 1.00 3.44 0.00

time (sec)

N/A 0.047 0.065 0.007 0.000 0.915 4.358 0.505 2.298 0.001

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 77 112 0 269 0 79 339 0

N.S.

1 1.00 0.95 1.38 0.00 3.32 0.00 0.98 4.19 0.00

time (sec)

N/A 0.098 0.081 0.007 0.000 1.038 0.000 0.325 2.504 0.001

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

104 104 102 150 0 358 0 105 447 0

N.S.

1 1.00 0.98 1.44 0.00 3.44 0.00 1.01 4.30 0.00

time (sec)

N/A 0.146 0.136 0.007 0.000 0.908 0.000 0.508 0.587 0.001

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

137 137 131 214 0 445 0 136 524 0

N.S.

1 1.00 0.96 1.56 0.00 3.25 0.00 0.99 3.82 0.00

time (sec)

N/A 0.203 0.104 0.010 0.000 1.120 0.000 0.457 2.596 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 132 352 0 837 842 161 261 0

N.S.

1 1.00 0.88 2.35 0.00 5.58 5.61 1.07 1.74 0.00

time (sec)

N/A 0.159 0.196 0.010 0.000 0.894 1.792 0.567 2.456 0.001

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 109 209 0 635 729 125 279 0

N.S.

1 1.00 0.96 1.83 0.00 5.57 6.39 1.10 2.45 0.00

time (sec)

N/A 0.103 0.146 0.009 0.000 0.865 1.366 0.595 2.491 0.001

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 81 97 0 387 280 88 135 0

N.S.

1 1.00 1.21 1.45 0.00 5.78 4.18 1.31 2.01 0.00

time (sec)

N/A 0.039 0.091 0.007 0.000 1.043 0.600 0.493 2.129 0.001

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 69 70 0 338 253 76 110 0

N.S.

1 1.00 1.05 1.06 0.00 5.12 3.83 1.15 1.67 0.00

time (sec)

N/A 0.038 0.067 0.003 0.000 0.856 0.564 0.383 2.183 0.001

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 70 68 0 341 265 76 119 0

N.S.

1 1.00 1.06 1.03 0.00 5.17 4.02 1.15 1.80 0.00

time (sec)

N/A 0.035 0.071 0.004 0.000 0.920 0.588 0.459 0.084 0.001

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 107 237 0 781 0 126 620 0

N.S.

1 1.00 0.99 2.19 0.00 7.23 0.00 1.17 5.74 0.00

time (sec)

N/A 0.148 0.184 0.014 0.000 1.404 0.000 0.505 2.871 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 131 328 0 975 0 171 775 0

N.S.

1 1.00 0.89 2.22 0.00 6.59 0.00 1.16 5.24 0.00

time (sec)

N/A 0.198 0.264 0.015 0.000 1.358 0.000 0.454 2.833 0.001

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

202 202 175 418 0 1226 0 229 914 0

N.S.

1 1.00 0.87 2.07 0.00 6.07 0.00 1.13 4.52 0.00

time (sec)

N/A 0.250 0.343 0.016 0.000 1.686 0.000 0.441 2.956 0.001

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

252 252 218 515 0 1407 0 282 1120 0

N.S.

1 1.00 0.87 2.04 0.00 5.58 0.00 1.12 4.44 0.00

time (sec)

N/A 0.323 0.318 0.017 0.000 2.465 0.000 0.550 3.064 0.001

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

318 318 272 619 0 1640 0 347 1260 0

N.S.

1 1.00 0.86 1.95 0.00 5.16 0.00 1.09 3.96 0.00

time (sec)

N/A 0.392 0.378 0.020 0.000 3.175 0.000 0.439 3.143 0.001

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

257 257 180 310 0 390 0 283 -1 211

N.S.

1 1.00 0.70 1.21 0.00 1.52 0.00 1.10 -0.00 0.82

time (sec)

N/A 0.588 0.237 0.009 0.000 1.232 0.000 0.873 0.000 0.841

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

205 205 150 265 0 326 0 230 -1 173

N.S.

1 1.00 0.73 1.29 0.00 1.59 0.00 1.12 -0.00 0.84

time (sec)

N/A 0.370 0.161 0.009 0.000 0.676 0.000 0.746 0.000 0.585

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 119 167 0 260 0 166 -1 137

N.S.

1 1.00 0.73 1.02 0.00 1.60 0.00 1.02 -0.01 0.84

time (sec)

N/A 0.058 0.213 0.008 0.000 1.246 0.000 0.881 0.000 0.432

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

119 119 100 146 0 220 0 125 -1 116

N.S.

1 1.00 0.84 1.23 0.00 1.85 0.00 1.05 -0.01 0.97

time (sec)

N/A 0.078 0.133 0.005 0.000 1.106 0.000 0.946 0.000 0.116

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

173 173 134 126 0 638 0 0 -1 134

N.S.

1 1.00 0.77 0.73 0.00 3.69 0.00 0.00 -0.01 0.77

time (sec)

N/A 0.126 0.095 0.006 0.000 1.409 0.000 0.000 0.000 0.421

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

173 173 131 173 0 653 0 0 -1 128

N.S.

1 1.00 0.76 1.00 0.00 3.77 0.00 0.00 -0.01 0.74

time (sec)

N/A 0.124 0.117 0.006 0.000 1.431 0.000 0.000 0.000 0.412

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 112 207 0 226 0 0 -1 100

N.S.

1 1.00 0.98 1.82 0.00 1.98 0.00 0.00 -0.01 0.88

time (sec)

N/A 0.148 0.096 0.006 0.000 1.269 0.000 0.000 0.000 0.535

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

155 155 131 234 0 272 0 0 -1 117

N.S.

1 1.00 0.85 1.51 0.00 1.75 0.00 0.00 -0.01 0.75

time (sec)

N/A 0.256 0.123 0.008 0.000 1.333 0.000 0.000 0.000 0.787

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

205 205 160 387 0 336 0 0 -1 150

N.S.

1 1.00 0.78 1.89 0.00 1.64 0.00 0.00 -0.00 0.73

time (sec)

N/A 0.386 0.168 0.011 0.000 1.349 0.000 0.000 0.000 1.034

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

422 422 236 649 0 664 0 521 -1 323

N.S.

1 1.00 0.56 1.54 0.00 1.57 0.00 1.23 -0.00 0.77

time (sec)

N/A 1.203 0.384 0.010 0.000 1.383 0.000 1.461 0.000 5.161

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

364 364 197 479 0 558 0 429 -1 266

N.S.

1 1.00 0.54 1.32 0.00 1.53 0.00 1.18 -0.00 0.73

time (sec)

N/A 1.039 0.246 0.010 0.000 1.331 0.000 1.351 0.000 4.082

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

288 288 180 431 0 474 0 365 -1 220

N.S.

1 1.00 0.62 1.50 0.00 1.65 0.00 1.27 -0.00 0.76

time (sec)

N/A 0.519 0.219 0.009 0.000 1.174 0.000 0.994 0.000 3.416

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

198 198 163 289 0 384 0 284 -1 175

N.S.

1 1.00 0.82 1.46 0.00 1.94 0.00 1.43 -0.01 0.88

time (sec)

N/A 0.178 0.173 0.007 0.000 1.205 0.000 0.925 0.000 2.639

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

165 165 132 265 0 320 0 232 -1 143

N.S.

1 1.00 0.80 1.61 0.00 1.94 0.00 1.41 -0.01 0.87

time (sec)

N/A 0.128 0.060 0.005 0.000 1.312 0.000 1.013 0.000 1.583

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

227 227 166 222 0 791 0 0 -1 168

N.S.

1 1.00 0.73 0.98 0.00 3.48 0.00 0.00 -0.00 0.74

time (sec)

N/A 0.255 0.224 0.006 0.000 1.421 0.000 0.000 0.000 2.188

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

219 219 158 254 0 757 0 0 -1 160

N.S.

1 1.00 0.72 1.16 0.00 3.46 0.00 0.00 -0.00 0.73

time (sec)

N/A 0.242 0.180 0.006 0.000 1.319 0.000 0.000 0.000 2.069

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

219 219 162 338 0 757 0 0 -1 167

N.S.

1 1.00 0.74 1.54 0.00 3.46 0.00 0.00 -0.00 0.76

time (sec)

N/A 0.238 0.190 0.007 0.000 1.587 0.000 0.000 0.000 2.047

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

257 257 175 435 0 815 0 0 -1 187

N.S.

1 1.00 0.68 1.69 0.00 3.17 0.00 0.00 -0.00 0.73

time (sec)

N/A 0.351 0.289 0.009 0.000 1.546 0.000 0.000 0.000 2.200

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

197 197 141 501 0 332 0 0 -1 175

N.S.

1 1.00 0.72 2.54 0.00 1.69 0.00 0.00 -0.01 0.89

time (sec)

N/A 0.363 0.115 0.007 0.000 1.633 0.000 0.000 0.000 2.114

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

249 249 177 534 0 394 0 0 -1 211

N.S.

1 1.00 0.71 2.14 0.00 1.58 0.00 0.00 -0.00 0.85

time (sec)

N/A 0.504 0.166 0.010 0.000 1.766 0.000 0.000 0.000 2.669

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 105 144 0 226 0 0 -1 122

N.S.

1 1.00 0.73 1.01 0.00 1.58 0.00 0.00 -0.01 0.85

time (sec)

N/A 0.174 0.093 0.009 0.000 1.015 0.000 0.000 0.000 0.370

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 89 88 0 188 0 108 -1 91

N.S.

1 1.00 0.86 0.85 0.00 1.83 0.00 1.05 -0.01 0.88

time (sec)

N/A 0.078 0.052 0.006 0.000 1.133 0.000 0.915 0.000 0.241

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 66 65 0 129 0 37 -1 54

N.S.

1 1.00 0.93 0.92 0.00 1.82 0.00 0.52 -0.01 0.76

time (sec)

N/A 0.037 0.035 0.006 0.000 1.058 0.000 0.912 0.000 0.058

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 70 66 0 130 0 59 -1 49

N.S.

1 1.00 1.56 1.47 0.00 2.89 0.00 1.31 -0.02 1.09

time (sec)

N/A 0.016 0.019 0.005 0.000 1.275 0.000 0.919 0.000 0.194

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 89 88 0 194 0 0 -1 79

N.S.

1 1.00 1.16 1.14 0.00 2.52 0.00 0.00 -0.01 1.03

time (sec)

N/A 0.054 0.051 0.007 0.000 1.275 0.000 0.000 0.000 0.295

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

119 119 112 152 0 232 0 0 -1 100

N.S.

1 1.00 0.94 1.28 0.00 1.95 0.00 0.00 -0.01 0.84

time (sec)

N/A 0.149 0.084 0.007 0.000 1.293 0.000 0.000 0.000 0.442

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

262 262 183 283 0 616 0 0 -1 192

N.S.

1 1.00 0.70 1.08 0.00 2.35 0.00 0.00 -0.00 0.73

time (sec)

N/A 0.506 0.230 0.009 0.000 1.551 0.000 0.000 0.000 2.805

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

201 201 141 199 0 486 0 195 -1 145

N.S.

1 1.00 0.70 0.99 0.00 2.42 0.00 0.97 -0.00 0.72

time (sec)

N/A 0.305 0.152 0.009 0.000 1.362 0.000 0.888 0.000 2.164

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 112 166 0 414 0 110 -1 116

N.S.

1 1.00 0.73 1.08 0.00 2.71 0.00 0.72 -0.01 0.76

time (sec)

N/A 0.175 0.119 0.007 0.000 1.179 0.000 0.983 0.000 1.831

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 40 37 53 0 73 0 45 75 56

N.S.

1 1.00 0.92 1.32 0.00 1.82 0.00 1.12 1.88 1.40

time (sec)

N/A 0.040 0.075 0.004 0.000 1.351 0.000 0.916 2.122 1.348

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 36 52 0 72 0 45 75 53

N.S.

1 1.00 0.92 1.33 0.00 1.85 0.00 1.15 1.92 1.36

time (sec)

N/A 0.040 0.024 0.003 0.000 1.351 0.000 0.765 2.034 0.875

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 109 166 0 411 0 0 -1 124

N.S.

1 1.00 1.16 1.77 0.00 4.37 0.00 0.00 -0.01 1.32

time (sec)

N/A 0.068 0.128 0.008 0.000 1.405 0.000 0.000 0.000 1.842

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

144 144 138 201 0 496 0 0 -1 157

N.S.

1 1.00 0.96 1.40 0.00 3.44 0.00 0.00 -0.01 1.09

time (sec)

N/A 0.163 0.100 0.009 0.000 1.020 0.000 0.000 0.000 2.339

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

209 209 181 292 0 630 0 0 -1 216

N.S.

1 1.00 0.87 1.40 0.00 3.01 0.00 0.00 -0.00 1.03

time (sec)

N/A 0.287 0.157 0.009 0.000 1.557 0.000 0.000 0.000 3.250

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

271 271 225 340 0 716 0 0 -1 266

N.S.

1 1.00 0.83 1.25 0.00 2.64 0.00 0.00 -0.00 0.98

time (sec)

N/A 0.452 0.203 0.010 0.000 2.084 0.000 0.000 0.000 3.605

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

343 343 272 446 0 866 0 0 -1 331

N.S.

1 1.00 0.79 1.30 0.00 2.52 0.00 0.00 -0.00 0.97

time (sec)

N/A 0.621 0.249 0.011 0.000 2.350 0.000 0.000 0.000 5.235

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

37 37 34 77 37 71 280 107 89 0

N.S.

1 1.00 0.92 2.08 1.00 1.92 7.57 2.89 2.41 0.00

time (sec)

N/A 0.013 0.026 0.003 0.446 1.265 1.176 0.485 2.084 0.307

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 20 19 19 19 19 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76 0.00

time (sec)

N/A 0.008 0.002 0.002 0.428 0.994 0.061 0.382 0.029 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 20 19 19 19 19 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76 0.00

time (sec)

N/A 0.007 0.002 0.002 0.428 1.231 0.061 0.391 0.031 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 20 19 19 19 19 19 0

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76 0.00

time (sec)

N/A 0.004 0.000 0.002 0.423 1.022 0.061 0.378 0.028 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 17 16 16 15 16 16 20

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80 1.00

time (sec)

N/A 0.006 0.001 0.000 0.425 1.353 0.066 0.363 0.027 0.022

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 21 18 17 17 17 20 17 0

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.81 0.95 0.81 0.00

time (sec)

N/A 0.008 0.002 0.001 0.426 1.243 0.095 0.415 0.025 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 17 16 20 12 16 16 0

N.S.

1 1.00 1.00 0.94 0.89 1.11 0.67 0.89 0.89 0.00

time (sec)

N/A 0.007 0.002 0.003 0.428 1.018 0.095 0.585 0.030 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 69 300 85 241 1377 399 271 0

N.S.

1 1.00 0.91 3.95 1.12 3.17 18.12 5.25 3.57 0.00

time (sec)

N/A 0.046 0.071 0.005 0.436 1.445 4.287 0.516 2.195 0.408

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 44 46 51 46 45 0

N.S.

1 1.00 1.00 0.83 0.81 0.85 0.94 0.85 0.83 0.00

time (sec)

N/A 0.036 0.007 0.002 0.424 1.057 0.079 0.405 0.034 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 48 45 44 46 46 46 45 0

N.S.

1 1.00 0.89 0.83 0.81 0.85 0.85 0.85 0.83 0.00

time (sec)

N/A 0.054 0.008 0.000 0.446 0.780 0.076 0.384 0.024 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 48 46 51 46 45 0

N.S.

1 1.00 1.00 0.83 0.89 0.85 0.94 0.85 0.83 0.00

time (sec)

N/A 0.026 0.007 0.001 0.430 1.031 0.074 0.357 0.024 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 48 45 44 44 46 46 45 50

N.S.

1 1.00 0.89 0.83 0.81 0.81 0.85 0.85 0.83 0.93

time (sec)

N/A 0.046 0.008 0.001 0.429 0.947 0.077 0.524 0.024 0.025

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 49 42 41 41 48 43 42 53

N.S.

1 1.00 1.00 0.86 0.84 0.84 0.98 0.88 0.86 1.08

time (sec)

N/A 0.027 0.005 0.001 0.430 1.283 0.080 0.507 0.023 0.024

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

100 100 93 142 0 313 391 92 842 0

N.S.

1 1.00 0.93 1.42 0.00 3.13 3.91 0.92 8.42 0.00

time (sec)

N/A 0.122 0.085 0.004 0.000 1.151 2.946 0.467 2.203 0.001

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

203 203 250 467 0 1564 194 2457 4127 0

N.S.

1 1.00 1.23 2.30 0.00 7.70 0.96 12.10 20.33 0.00

time (sec)

N/A 0.602 0.155 0.025 0.000 1.597 4.254 2.037 2.718 0.001

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 78 111 0 254 316 75 655 0

N.S.

1 1.00 0.96 1.37 0.00 3.14 3.90 0.93 8.09 0.00

time (sec)

N/A 0.087 0.044 0.004 0.000 1.457 1.950 0.633 2.438 0.001

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

179 179 202 343 0 1059 129 2109 3026 0

N.S.

1 1.00 1.13 1.92 0.00 5.92 0.72 11.78 16.91 0.00

time (sec)

N/A 0.227 0.108 0.014 0.000 1.270 2.177 1.500 2.584 0.001

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 62 60 0 197 223 59 118 0

N.S.

1 1.00 0.98 0.95 0.00 3.13 3.54 0.94 1.87 0.00

time (sec)

N/A 0.067 0.023 0.003 0.000 1.420 0.919 0.423 0.166 0.001

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 165 208 0 559 75 503 416 0

N.S.

1 1.00 1.10 1.39 0.00 3.73 0.50 3.35 2.77 0.00

time (sec)

N/A 0.094 0.082 0.011 0.000 1.394 0.819 1.805 2.209 0.001

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

36 36 39 36 0 129 131 35 41 0

N.S.

1 1.00 1.08 1.00 0.00 3.58 3.64 0.97 1.14 0.00

time (sec)

N/A 0.043 0.008 0.003 0.000 1.233 0.495 0.489 2.040 0.001

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 129 116 0 613 87 1026 763 0

N.S.

1 1.00 0.86 0.77 0.00 4.09 0.58 6.84 5.09 0.00

time (sec)

N/A 0.080 0.079 0.013 0.000 1.314 1.185 1.863 2.479 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

69 69 113 66 0 223 253 68 1014 0

N.S.

1 1.00 1.64 0.96 0.00 3.23 3.67 0.99 14.70 0.00

time (sec)

N/A 0.072 0.061 0.007 0.000 1.346 4.284 0.428 2.701 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 191 232 0 1116 148 1839 2997 0

N.S.

1 1.00 1.10 1.33 0.00 6.41 0.85 10.57 17.22 0.00

time (sec)

N/A 0.195 0.401 0.018 0.000 1.390 2.623 1.883 2.859 0.001

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 89 135 119 0 293 345 94 2033 0

N.S.

1 1.00 1.52 1.34 0.00 3.29 3.88 1.06 22.84 0.00

time (sec)

N/A 0.133 0.120 0.007 0.000 1.374 123.748 0.432 3.910 0.001

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 151 383 0 868 877 161 1473 0

N.S.

1 1.00 0.91 2.31 0.00 5.23 5.28 0.97 8.87 0.00

time (sec)

N/A 0.223 0.186 0.013 0.000 1.388 112.278 1.985 0.528 0.001

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

331 331 327 844 0 2856 0 3339 7599 0

N.S.

1 1.00 0.99 2.55 0.00 8.63 0.00 10.09 22.96 0.00

time (sec)

N/A 0.703 0.663 0.036 0.000 1.722 0.000 3.707 3.756 0.001

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 121 222 0 663 745 152 1336 0

N.S.

1 1.00 0.92 1.68 0.00 5.02 5.64 1.15 10.12 0.00

time (sec)

N/A 0.152 0.168 0.012 0.000 1.288 19.764 1.951 2.943 0.001

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

271 271 282 602 0 2257 379 2736 6293 0

N.S.

1 1.00 1.04 2.22 0.00 8.33 1.40 10.10 23.22 0.00

time (sec)

N/A 0.526 0.513 0.029 0.000 1.502 33.307 4.025 3.858 0.001

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 93 104 0 407 282 96 187 0

N.S.

1 1.00 1.19 1.33 0.00 5.22 3.62 1.23 2.40 0.00

time (sec)

N/A 0.072 0.086 0.010 0.000 1.385 1.517 2.000 2.197 0.001

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

237 237 235 452 0 1668 296 2132 4973 0

N.S.

1 1.00 0.99 1.91 0.00 7.04 1.25 9.00 20.98 0.00

time (sec)

N/A 0.358 0.407 0.026 0.000 0.886 4.547 3.389 3.635 0.001

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 79 77 0 360 269 82 178 0

N.S.

1 1.00 1.05 1.03 0.00 4.80 3.59 1.09 2.37 0.00

time (sec)

N/A 0.069 0.066 0.006 0.000 1.470 1.360 2.053 0.144 0.001

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

221 221 222 342 0 1680 298 1970 4854 0

N.S.

1 1.00 1.00 1.55 0.00 7.60 1.35 8.91 21.96 0.00

time (sec)

N/A 0.240 0.434 0.069 0.000 1.742 13.168 3.080 3.363 0.001

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 79 75 0 361 267 82 172 0

N.S.

1 1.00 1.07 1.01 0.00 4.88 3.61 1.11 2.32 0.00

time (sec)

N/A 0.065 0.080 0.006 0.000 1.259 1.277 2.132 2.160 0.001

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

252 252 243 733 0 2309 394 2682 6404 0

N.S.

1 1.00 0.96 2.91 0.00 9.16 1.56 10.64 25.41 0.00

time (sec)

N/A 0.461 0.418 0.057 0.000 1.165 165.893 3.818 3.847 0.001

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 207 253 0 813 0 166 5048 0

N.S.

1 1.00 1.70 2.07 0.00 6.66 0.00 1.36 41.38 0.00

time (sec)

N/A 0.188 0.331 0.017 0.000 2.064 0.000 2.322 6.312 0.001

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

308 308 302 712 0 2912 0 3087 7555 0

N.S.

1 1.00 0.98 2.31 0.00 9.45 0.00 10.02 24.53 0.00

time (sec)

N/A 1.352 0.616 0.034 0.000 1.645 0.000 2.433 2.639 0.001

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 248 352 0 1007 0 182 5491 0

N.S.

1 1.00 1.53 2.17 0.00 6.22 0.00 1.12 33.90 0.00

time (sec)

N/A 0.250 0.264 0.020 0.000 1.644 0.000 2.407 6.766 0.001

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

361 361 344 913 0 3435 0 3651 8739 0

N.S.

1 1.00 0.95 2.53 0.00 9.52 0.00 10.11 24.21 0.00

time (sec)

N/A 3.077 0.715 0.038 0.000 2.117 0.000 3.916 4.907 0.001

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

219 219 328 443 0 1242 0 274 5999 0

N.S.

1 1.00 1.50 2.02 0.00 5.67 0.00 1.25 27.39 0.00

time (sec)

N/A 0.312 0.375 0.023 0.000 2.285 0.000 2.040 7.473 0.001

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

129 129 126 157 0 232 0 127 -1 126

N.S.

1 1.00 0.98 1.22 0.00 1.80 0.00 0.98 -0.01 0.98

time (sec)

N/A 0.093 0.077 0.010 0.000 1.043 0.000 0.971 0.000 0.457

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

194 194 155 136 0 666 0 0 -1 148

N.S.

1 1.00 0.80 0.70 0.00 3.43 0.00 0.00 -0.01 0.76

time (sec)

N/A 0.209 0.060 0.013 0.000 1.395 0.000 0.000 0.000 0.596

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

244 244 192 369 0 396 0 662 -1 214

N.S.

1 1.00 0.79 1.51 0.00 1.62 0.00 2.71 -0.00 0.88

time (sec)

N/A 0.357 0.204 0.014 0.000 1.282 0.000 2.112 0.000 1.919

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

177 177 152 295 0 332 0 518 -1 181

N.S.

1 1.00 0.86 1.67 0.00 1.88 0.00 2.93 -0.01 1.02

time (sec)

N/A 0.138 0.111 0.023 0.000 1.019 0.000 1.583 0.000 1.522

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 82 72 0 135 0 60 -1 67

N.S.

1 1.00 1.00 0.88 0.00 1.65 0.00 0.73 -0.01 0.82

time (sec)

N/A 0.062 0.018 0.011 0.000 1.055 0.000 0.625 0.000 0.315

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 83 72 0 137 0 56 -1 52

N.S.

1 1.00 1.63 1.41 0.00 2.69 0.00 1.10 -0.02 1.02

time (sec)

N/A 0.029 0.019 0.018 0.000 1.171 0.000 0.545 0.000 0.363

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 126 179 0 424 0 193 -1 123

N.S.

1 1.00 1.22 1.74 0.00 4.12 0.00 1.87 -0.01 1.19

time (sec)

N/A 0.073 0.079 0.015 0.000 1.557 0.000 0.662 0.000 1.836

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

154 154 160 220 0 508 0 0 -1 159

N.S.

1 1.00 1.04 1.43 0.00 3.30 0.00 0.00 -0.01 1.03

time (sec)

N/A 0.175 0.074 0.023 0.000 1.340 0.000 0.000 0.000 2.250

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F A F(-1) F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 46 0 0 83 0 0 -1 73

N.S.

1 1.00 0.90 0.00 0.00 1.63 0.00 0.00 -0.02 1.43

time (sec)

N/A 0.050 0.086 0.079 0.000 1.078 0.000 0.000 0.000 0.132

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 73 58 0 55 0 60 -1 40

N.S.

1 1.00 1.62 1.29 0.00 1.22 0.00 1.33 -0.02 0.89

time (sec)

N/A 0.009 0.020 0.011 0.000 1.015 0.000 0.437 0.000 0.157

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 73 58 0 55 0 60 -1 40

N.S.

1 1.00 1.62 1.29 0.00 1.22 0.00 1.33 -0.02 0.89

time (sec)

N/A 0.012 0.003 0.007 0.000 1.227 0.000 0.725 0.000 0.036

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 73 58 0 55 0 60 -1 40

N.S.

1 1.00 1.62 1.29 0.00 1.22 0.00 1.33 -0.02 0.89

time (sec)

N/A 0.012 0.004 0.004 0.000 0.884 0.000 0.492 0.000 0.041

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 70 81 0 70 0 69 -1 73

N.S.

1 1.00 0.81 0.94 0.00 0.81 0.00 0.80 -0.01 0.85

time (sec)

N/A 0.041 0.033 0.010 0.000 1.090 0.000 0.393 0.000 0.125

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 70 81 0 70 0 69 -1 73

N.S.

1 1.00 0.81 0.94 0.00 0.81 0.00 0.80 -0.01 0.85

time (sec)

N/A 0.042 0.010 0.006 0.000 1.006 0.000 0.511 0.000 0.033

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 70 81 0 70 0 69 -1 73

N.S.

1 1.00 0.81 0.94 0.00 0.81 0.00 0.80 -0.01 0.85

time (sec)

N/A 0.041 0.003 0.004 0.000 0.971 0.000 0.381 0.000 0.034

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 37 35 0 111 0 35 34 42

N.S.

1 1.00 0.97 0.92 0.00 2.92 0.00 0.92 0.89 1.11

time (sec)

N/A 0.016 0.020 0.003 0.000 0.878 0.000 0.386 0.080 0.001

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 70 64 0 130 0 59 -1 49

N.S.

1 1.00 1.56 1.42 0.00 2.89 0.00 1.31 -0.02 1.09

time (sec)

N/A 0.022 0.024 0.009 0.000 0.958 0.000 0.466 0.000 0.084

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 72 64 0 131 0 53 -1 53

N.S.

1 1.00 1.53 1.36 0.00 2.79 0.00 1.13 -0.02 1.13

time (sec)

N/A 0.076 0.034 0.014 0.000 1.336 0.000 0.493 0.000 0.314

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 74 66 0 139 0 53 -1 55

N.S.

1 1.00 1.51 1.35 0.00 2.84 0.00 1.08 -0.02 1.12

time (sec)

N/A 0.090 0.028 0.008 0.000 1.148 0.000 0.490 0.000 0.315

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 44 39 0 124 0 38 44 45

N.S.

1 1.00 1.00 0.89 0.00 2.82 0.00 0.86 1.00 1.02

time (sec)

N/A 0.036 0.007 0.006 0.000 1.368 0.000 0.449 2.226 0.001

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 81 72 0 135 0 62 -1 48

N.S.

1 1.00 1.65 1.47 0.00 2.76 0.00 1.27 -0.02 0.98

time (sec)

N/A 0.015 0.017 0.007 0.000 1.315 0.000 0.436 0.000 0.089

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 83 72 0 137 0 56 -1 52

N.S.

1 1.00 1.63 1.41 0.00 2.69 0.00 1.10 -0.02 1.02

time (sec)

N/A 0.067 0.018 0.011 0.000 1.363 0.000 0.399 0.000 0.341

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 85 74 0 145 0 56 -1 54

N.S.

1 1.00 1.60 1.40 0.00 2.74 0.00 1.06 -0.02 1.02

time (sec)

N/A 0.077 0.019 0.010 0.000 1.194 0.000 0.551 0.000 0.354

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 40 40 31 20 47 0 55 33 38

N.S.

1 1.00 1.00 0.78 0.50 1.18 0.00 1.38 0.82 0.95

time (sec)

N/A 0.027 0.008 0.004 0.945 1.152 0.000 0.472 0.427 0.001

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 73 58 0 55 0 60 -1 40

N.S.

1 1.00 1.62 1.29 0.00 1.22 0.00 1.33 -0.02 0.89

time (sec)

N/A 0.012 0.008 0.000 0.000 1.052 0.000 0.427 0.000 0.001

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 62 50 0 49 0 47 -1 45

N.S.

1 1.00 1.44 1.16 0.00 1.14 0.00 1.09 -0.02 1.05

time (sec)

N/A 0.047 0.020 0.013 0.000 1.157 0.000 0.331 0.000 0.310

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A F F F F(-2) F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD N/A

size

70 70 0 0 0 0 0 0 -1 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.067 0.395 0.138 0.000 0.000 0.000 0.000 0.000 0.258

[next] [prev] [prev-tail] [front] [up]